Homotopy Type Theoryの参考文献
HoTTの公式ページが提示している文献
References | Homotopy Type Theory
『Homotopy Type Theory : Project Description』
, 2009
『Homotopy Type Theory 入門』
, 2017
『Homotopy Type Theory Univalent Foundations of Mathematics』
『Homotopy type theory and Voevodsky's univalent foundations』
, 2012
『Introduction to Homotopy Type Theory』
【2212.11082】 Introduction to Homotopy Type Theory
『ホモトピー型理論』上村 太一
関連
ホモトピー論の参考文献
#Homotopy_Type_Theory(HoTT)
#特定の文献リスト
#文献